Unbounded Proof-Length Speed-up in Deduction Modulo Guillaume Burel1 1 Universit´e Henri Poincar´e & LORIA2

Source URL: www.ensiie.fr

• Propositional calculus
• Proof theory
• Logic in computer science
• Boolean algebra
• Formal systems
• Natural deduction
• Curry–Howard correspondence
• Sequent calculus
• Frege system
• Logic
• Mathematical logic
• Mathematics

Microsoft PowerPoint - day 1 number 7 - Elena G.pptx

Source URL: edcon2014.ischool.syr.edu

• Information technology management
• Technology
• Business intelligence
• Data modeling
• Data architect
• Data mining
• Big data
• Oracle Database
• Data warehouse
• Data management
• Database management systems
• Formal sciences

This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp

Source URL: www.cs.utah.edu

• Science
• Formal sciences
• Compiler construction
• Mathematical logic
• Proof theory
• Isabelle
• Compiler
• Mathematical proof
• Model checking
• Logic
• Mathematics
• Programming language implementation

Information Engineering and Management (M.Sc.) Summer Term 2015 Long version SPO Department of Economics and Management

Source URL: www.wiwi.kit.edu

• Management
• Formal sciences
• Business
• Data mining
• Simulation
• Computer science
• Workflow
• Analytics
• Information systems
• Operations research
• Science
• Knowledge

DATA SERVICES EXPLOITING DATA IN THIRD-PARTY SYSTEMS Data is the new oil. Exploit your treasure trove of data! econda data services grant you access to raw data or self-defined, refined sets of data for processing in oth

Source URL: www.econda.com

• Data analysis
• Formal sciences
• Data management
• Microsoft Excel
• Web analytics
• Customer relationship management
• Analytics
• Data warehouse
• SharePoint Dashboard
• Business
• Business intelligence
• Marketing

Enterprise Mobile Application Lifecycle copy

Source URL: www.socialcubix.com

• Business
• Software engineering
• Software project management
• Formal methods
• Product development
• Project management
• Systems engineering process
• Systems development life-cycle
• Dynamic systems development method
• Software development
• Systems engineering
• Product management

Practical Reasoning with Nominals in the EL Family of Description Logics Yevgeny Kazakov Markus Krötzsch and František Simanˇcík Institute of Artificial Intelligence

Source URL: korrekt.org

• Information science
• Non-classical logic
• Formal systems
• Knowledge representation
• Ontology
• Description logic
• Axiom
• Modal logic
• Mereology
• Logic
• Mathematical logic
• Mathematics

Microsoft Word - simTD@RE2011_final

Source URL: www.simtd.de.

• Validity
• Science
• Software engineering
• Systems science
• Formal methods
• Verification and validation
• Systems engineering process
• Validation
• Software development process
• Systems engineering
• Software development
• Pharmaceutical industry

Formal Modeling of Evolving Self-Adaptive Systems Narges Khakpoura , Saeed Jalilia , Carolyn Talcottb , Marjan Sirjanic,d , MohammadReza Mousavie a Tarbiat Modares University, Tehran, Iran

Source URL: www.csc.kth.se

litsift: Automated Text Categorization in Bibliographic Search Lukas C. Faulstich Peter F. Stadler

Source URL: www.bioinf.uni-leipzig.de

• Statistical classification
• Knowledge
• Natural language processing
• Data mining
• Faulstich
• Relational database management systems
• PubMed
• Bioinformatics
• Document classification
• Statistics
• Science
• Formal sciences